unsigned char src_asm_templates_assign_int_asm[] = {
  0x23, 0x20, 0x61, 0x73, 0x73, 0x69, 0x67, 0x6e, 0x20, 0x28, 0x25, 0x73,
  0x29, 0x0a, 0x70, 0x6f, 0x70, 0x6c, 0x20, 0x20, 0x2d, 0x25, 0x64, 0x28,
  0x25, 0x25, 0x65, 0x62, 0x70, 0x29, 0x0a, 0x0a
};
unsigned int src_asm_templates_assign_int_asm_len = 32;
